Study of Saṅkṣepaśārīraka of Sarvajñātman, condensed version of Śārīrakamīmāṃsābhāṣya of Śaṅkarācārya, work on Advaita Vedanta philosophy.

Correspondence between Aurobindo Ghose, 1872-1950 and Dilip Kumar Roy, 1897-1980.

This paper focuses on one of the major controversies of collective action, i.e. Shared Agency. The objective of my paper is to explain the relevance of Shared Agency in the Theory of Collective Action where I have dealt with questions like—Is it possible to consider one as an agent or as the same agent when she performs in a shared action? How can we talk of shared agency, even when an action is being performed by different individuals in a group (...) or of a group? Where is the notion of “agency” located in a shared action? Based on the seminal paper, “Shared Intention” by Michael Bratman, my objective here is to present and analyse the notion of shared agency in terms of meshing sub-plans and the impossibility of reducing the agency displayed in a shared action to a mere summation of intentions of individual agents, where the essence of shared agency lies in cooperation. (shrink)

This paper presents an attempt to bridge the gap between logical and cognitive treatments of strategic reasoning in games. There have been extensive formal debates about the merits of the principle of backward induction among game theorists and logicians. Experimental economists and psychologists have shown that human subjects, perhaps due to their bounded resources, do not always follow the backward induction strategy, leading to unexpected outcomes. Recently, based on an eye-tracking study, it has turned out that even human subjects who (...) produce the outwardly correct ‘backward induction answer’ use a different internal reasoning strategy to achieve it. The paper presents a formal language to represent different strategies on a finer-grained level than was possible before. The language and its semantics help to precisely distinguish different cognitive reasoning strategies, that can then be tested on the basis of computational cognitive models and experiments with human subjects. The syntactic framework of the formal system provides a generic way of constructing computational cognitive models of the participants of the Marble Drop game. (shrink)

On the philosophical concepts of the religion of the Khasis, ethnic people from Meghalaya.

How do people reason about their opponent in turn-taking games? Often, people do not make the decisions that game theory would prescribe. We present a logic that can play a key role in understanding how people make their decisions, by delineating all plausible reasoning strategies in a systematic manner. This in turn makes it possible to construct a corresponding set of computational models in a cognitive architecture. These models can be run and fitted to the participants’ data in terms of (...) decisions, response times, and answers to questions. We validate these claims on the basis of an earlier game-theoretic experiment about the turn-taking game “Marble Drop with Surprising Opponent”, in which the opponent often starts with a seemingly irrational move. We explore two ways of segregating the participants into reasonable “player types”. The first way is based on latent class analysis, which divides the players into three classes according to their first decisions in the game: Random players, Learners, and Expected players, who make decisions consistent with forward induction. The second way is based on participants’ answers to a question about their opponent, classified according to levels of theory of mind: zero-order, first-order and second-order. It turns out that increasing levels of decisions and theory of mind both correspond to increasing success as measured by monetary awards and increasing decision times. Next, we use the logical language to express different kinds of strategies that people apply when reasoning about their opponent and making decisions in turn-taking games, as well as the ‘reasoning types’ reflected in their behavior. Then, we translate the logical formulas into computational cognitive models in the PRIMs architecture. Finally, we run two of the resulting models, corresponding to the strategy of only being interested in one’s own payoff and to the myopic strategy, in which one can only look ahead to a limited number of nodes. It turns out that the participant data fit to the own-payoff strategy, not the myopic one. The article closes the circle from experiments via logic and cognitive modelling back to predictions about new experiments. (shrink)

The welfare and protection of human subjects is critical to the integrity of clinical investigation and research. Institutional review boards were thus set up to be impartial reviewers of research protocols in clinical research. Their main role is to stand between the investigator and her human subjects in order to ensure that the welfare of human subjects are protected. While there is much literature on the conflicts of interest faced by investigators and researchers in clinical investigations, an area that is (...) less explored is CIs that may affect members of IRBs during the institutional ethics review of clinical investigations. This article examines the notion of CIs in clinical research and attempts to develop a framework for a clearer and more balanced approach to identifying CIs that may influence members of IRBs and impede their independence. It will also apply the proposed framework to demonstrate how IRBs possess, or at least may appear to possess, forms of financial CIs and non-financial CIs. The proper identification and management of these CIs is critical to preserving the integrity of clinical investigations and achieving the primary aim of human subjects protection. (shrink)

We discuss a simple logic to describe one of our favourite games from childhood, hide and seek, and show how a simple addition of an equality constant to describe the winning condition of the seeker makes our logic undecidable. There are certain decidable fragments of first-order logic which behave in a similar fashion and we add a new modal variant to that class of logics. We also discuss the relative expressive power of the proposed logic in comparison to the standard (...) modal counterparts. (shrink)

When agents know a protocol, this leads them to have expectations about future observations. Agents can update their knowledge by matching their actual observations with the expected ones. They eliminate states where they do not match. In this paper, we study how agents perceive protocols that are not commonly known, and propose a semantics-driven logical framework to reason about knowledge in such scenarios. In particular, we introduce the notion of epistemic expectation models and a propositional dynamic logic-style epistemic logic for (...) reasoning about knowledge via matching agentsÊ expectations to their observations. It is shown how epistemic expectation models can be obtained from epistemic protocols. Furthermore, a characterization is presented of the effective equivalence of epistemic protocols. We introduce a new logic that incorporates updates of protocols and that can model reasoning about knowledge and observations. Finally, the framework is extended to incorporate fact-changing actions, and a worked-out example is given. © 2013 Elsevier B.V. (shrink)

There are two important aspects of any democratic decision: aggregation of preferences and deliberation about preferences. They are essential and complementary components of any decision making process. While the well-studied process of aggregation focuses on accumulating individual preferences without discussing their origin [4], deliberation can be seen as a conversation through which individuals justify their preferences, a process that might lead to changes in their opinions as they get influenced by one another. Till now, there has been a lot of (...) work on the ‘aggregation’ aspect (e.g., [12, 14, 6]). However, some recent work has focussed on the deliberation aspect as well [8, 9, 10, 15]. Sometimes, deliberation does not lead to unanimity in preferences, but the discussion can lead to some ‘preference uniformity’ (see how deliberation can help in bypassing social choice theory’s impossibility results in [5]), which might facilitate their eventual aggregation. In addition, the combination of both processes provides a more realistic model for decision making scenarios. In light of this status quo, our focus is on the formal study of achieving such preference uniformities, e.g., single-peaked, single-caved, single-crossing, value-restricted, best-restricted, worst-restricted, medium-restricted, or group-separable profiles. In this short abstract we provide our preliminary ideas towards achieving singlepeakedness of preference profiles via deliberation. In what follows, we define two preference upgrade operators based on [8, 9] and provide a preliminary discussion on how single-peaked preference profiles can be achieved through such operations. We will delve into the details of the logical language in the main paper. (shrink)

We make a proposal for formalizing simultaneous games at the abstraction level of player’s powers, combining ideas from dynamic logic of sequential games and concurrent dynamic logic. We prove completeness for a new system of ‘concurrent game logic’ CDGL with respect to finite non-determined games. We also show how this system raises new mathematical issues, and throws light on branching quantifiers and independence-friendly evaluation games for first-order logic.

Study of philosophy of self in Sāṅkhyakārikā by Īśvarakr̥ṣṇa and Essay concerning human understanding by John Locke, 1632-1704.

Neural crest cells are multipotent progenitors, capable of producing diverse cell types upon differentiation. Recent studies have identified significant heterogeneity in both the fates produced and genes expressed by different premigratory crest cells. While these cells may be specified toward particular fates prior to migration, transplant studies show that some may still be capable of respecification at this time. Here we summarize evidence that extracellular signals in the local environment may act to specify premigratory crest and thus generate diversity in (...) the population. Three main classes of signals–Wnts, BMP2/BMP4 and TGFβ1,2,3–have been shown to directly influence the production of particular neural crest cell fates, and all are expressed near the premigratory crest. This system may therefore provide a good model for integration of multiple signaling pathways during embryonic cell fate specification. BioEssays 22:708–716, 2000. © 2000 John Wiley & Sons, Inc. (shrink)

This book introduces the theory of graded consequence and its mathematical formulation. It also compares the notion of graded consequence with other notions of consequence in fuzzy logics, and discusses possible applications of the theory in approximate reasoning and decision-support systems. One of the main points where this book emphasizes on is that GCT maintains the distinction between the three different levels of languages of a logic, namely object language, metalanguage and metametalanguage, and thus avoids the problem of violation of (...) the principle of use and mention; it also shows, gathering evidences from existing fuzzy logics, that the problem of category mistake may arise as a result of not maintaining distinction between levels. (shrink)

The appropriate understanding and fast processing of lengthy legal documents are computationally challenging problems. Designing efficient automatic summarization techniques can potentially be the key to deal with such issues. Extractive summarization is one of the most popular approaches for forming summaries out of such lengthy documents, via the process of summary-relevant sentence selection. An efficient application of this approach involves appropriate scoring of sentences, which helps in the identification of more informative and essential sentences from the document. In this work, (...) a novel sentence scoring approach DCESumm is proposed which consists of supervised sentence-level summary relevance prediction, as well as unsupervised clustering-based document-level score enhancement. Experimental results on two legal document summarization datasets, BillSum and Forum of Information Retrieval Evaluation (FIRE), reveal that the proposed approach can achieve significant improvements over the current state-of-the-art approaches. More specifically it achieves ROUGE metric F1-score improvements of (1−6)% and (6−12)% for the BillSum and FIRE test sets respectively. Such impressive summarization results suggest the usefulness of the proposed approach in finding the gist of a lengthy legal document, thereby providing crucial assistance to legal practitioners. (shrink)

In July 2021, a series of gruesome videos exposed a case of brutal torture perpetrated by a guru or leader of the trans feminine hijra community in eastern India. This guru was allegedly of a Bangladeshi Muslim background, and various community members used the case as an alibi to target hijras of such national and religious origin, sometimes even demanding their expulsion from India. This phenomenon paralleled increasing affiliations between certain sections of trans/hijra communities and the Hindu Right. This article (...) situates this case within the broader rise of queer and trans Hindutva or Hindu nationalism and locates it as indicative of Hindutva’s expansion to its erstwhile ‘elsewheres’: areas outside its traditional strongholds such as eastern India and communities such as hijras who are known for their mixed religious practices and have been historically stigmatised by Hindu society. However, the article also analyses the case to show how hijras and related communities evidence contingently wavering political alliances and complex dynamics of intra-community power and resistance that remain irreducible to typical equations of Hindu right-wing politics. Queer/trans Hindutva might become disrupted by its potential constituents themselves, showing how Hindutva’s ‘elsewheres’ trouble its assimilationist capacities. (shrink)

We discuss a simple logic to describe one of our favourite games from childhood, hide and seek, and show how a simple addition of an equality constant to describe the winning condition of the seeker makes our logic undecidable. There are certain decidable fragments of first-order logic which behave in a similar fashion with respect to such a language extension, and we add a new modal variant to that class. We discuss the relative expressive power of the proposed logic in (...) comparison to the standard modal counterparts. We prove that the model checking problem for the resulting logic is \(\textsf{P}\) -complete. In addition, by exploring the connection with related product logics, we gain more insight towards having a better understanding of the subtleties of the proposed framework. (shrink)

We make a proposal for formalizing simultaneous games at the abstraction level of player's powers, combining ideas from dynamic logic of sequential games and concurrent dynamic logic. We prove completeness for a new system of 'concurrent game logic' CDGL with respect to finite non-determined games. We also show how this system raises new mathematical issues, and throws light on branching quantifiers and independence-friendly evaluation games for first-order logic.

We make a proposal for formalizing simultaneous games at the abstraction level of player’s powers, combining ideas from dynamic logic of sequential games and concurrent dynamic logic. We prove completeness for a new system of ‘concurrent game logic’ CDGL with respect to finite non-determined games. We also show how this system raises new mathematical issues, and throws light on branching quantifiers and independence-friendly evaluation games for first-order logic.

The human species' adaptive advantage is driven by its ability to build new material structures and artefacts. Engineering is the modern manifestation of this building instinct, and its advent has made the construction and use of technologies the central pattern of human life. In parallel, efficiency, the overarching narrative driving technology and related life practices, has pervaded most occupations as a value, forming a cultural backdrop that implicitly guides decisions and behaviour. We examine the process through which this backdrop has (...) developed, and argue that it emerged through the constant presence and use of built artefacts and structures, which function as manifestations of the engineering value of efficiency. The constant presence and use of built structures leads to the slow percolation of their building values into society, forming a cultural narrative that emphasises efficiency. This narrative then feeds back, to further reinforce efficiency-driven engineering processes. This loop creates a runaway building system that is highly resistant to change, even when faced with the prospect of the species going extinct. Any effort towards sustainability can be successful only when this all-pervading - and hence invisible - building loop is made explicit, and compensated for, through a counter-loop where building manifests sustainable engineering values. As a first step in revealing this structure, we characterise the emergence of the efficiency value as a cultural narrative, and analyse its wide-ranging environmental effects. We then present the design principle of 'Solving for Pattern' (SfP) as an illustrative contrast case. SfP, first articulated by Wendell Berry, focuses on interconnectedness and flourishing of all species as central design principles. We argue that these ecological principles can be extended to engineering, and can thus support the development of a robust operational-level building movement that manifests value systems oriented towards sustainability. To ground this proposal in actual practice, we outline two case studies of technology design that illustrates SfP. We also discuss three cases that illustrate SfP at a larger scale, and examine how these extend existing design approaches such as systems engineering. We conclude with a proposal to include SfP in engineering education curricula, to facilitate a faster cultural shift towards flourishing, which is required given the limited time window available to move to sustainable building practices. (shrink)

Most of the papers presented at the worshop held at Calcutta.

Does there exist any equivalence between the notions of inconsistency and consequence in paraconsistent logics as is present in the classical two valued logic? This is the key issue of this paper. Starting with a language where negation ( ${\neg}$ ) is the only connective, two sets of axioms for consequence and inconsistency of paraconsistent logics are presented. During this study two points have come out. The first one is that the notion of inconsistency of paraconsistent logics turns out to (...) be a formula-dependent notion and the second one is that the characterization (i.e. equivalence) appears to be pertinent to a class of paraconsistent logics which have double negation property. (shrink)

From the literature study, it was observed that there are significantly fewer studies that review ontology- based narrative models. This motivates the current work. A parametric approach was adopted to report the existing ontology-driven models for narrative information. The work considers the narrative and ontology components as parameters. This study hopes to encompass the relevant literature and ontology models together. The work adopts a systematic literature review methodology for an extensive literature selection. The models were selected from the literature using (...) a stratified random sampling technique. The findings illustrate an overview of the narrative models across domains. The study identifies the differences and similarities of knowledge representation in ontology-based narrative information models. This paper will explore the basic concepts and top-level concepts in the models. Besides, this study provides a study of the narrative theories in the context of ongoing research. It also identifies the state-of-the-art literature for ontology-based narrative information. Keywords: ontologies, narrative information, modelling. (shrink)

Building upon an ethnographic exploration of the pedagogy and alternative dispute resolution activities of an Islamic feminist movement in India called the Indian Muslim Women’s Movement, this article speaks to the tension between Saba Mahmood’s influential account of religion and gendered agency, and a liberal feminist conception of gender equality. Anthropological explorations of Muslim women’s pious commitments as well as liberal feminist engagements with religion and culture are premised upon a presumed dichotomy between ethical engagements with religion, and a commitment (...) to gender equality. Yet there is little analysis in existing scholarship of how gender equality is constituted by social movements premised on a religious identity, such as Islamic feminist movements. This article moves beyond thinking about gender equality merely as an abstract liberal normative good to explore how the discourse of gender equality is constituted in a movement that brings together everyday ethical commitments inspired by notions of piety and concerted everyday struggles against social and legal inequality. The ethnographic vignettes show how gender equality connotes social and legal equality between men and women premised on their equal spiritual status as God’s creations, their equal pious obligations irrespective of gender and the equal imperative of ethical conduct on both men and women based on Quranic values of compassion and justice. The pursuit of gender equality also entails reinterpretation of social norms in the light of ethical conduct, and an ethical commitment to collective struggle against gender discrimination in state and non-state forums. (shrink)

Sports officials, players, and fans are concerned about overseas player rankings for the IPL auction. These rankings are becoming progressively essential to investors when premium leagues are commercialized. The decision-makers of the Indian Premier League choose cricketers based on their own experience in sports and based on performance statistics on several criteria. This paper presents a scientific way to rank the players. Our research examines and contrasts different multicriteria decision-making algorithms for ranking foreign players under various criteria to assess their (...) performance and efficiency. The paper uses three MCDM algorithms, TOPSIS, TODIM, and NR-TOPSIS, for foreign players ranking in the Indian Premier League. Our analysis is limited to the batsmen and bowlers only. We perform the analysis using Python language, a popular high-level programming language. Finally, we perform a sensitivity analysis to determine the stability of each method when the weights of the criterion or the value of a parameter was changed. Our analysis exhibits the superiority of TODIM over TOPSIS and NR-TOPSIS. (shrink)

The European Union (EU) is known as the strongest advocate of the liberal global order. It is invested in the idea of rule-based international order, which forms part of its core identity. This adherence to the principles of the liberal global order is visible in its support for multilateral institutions and norms; open market and liberal trade regimes; approaches to security; emphasis on human rights; and democratic norms and values. With the growing uncertainty in the global order, the EU's commitment (...) to the above stated norms has become much more crucial than before. The objective of the study is to understand the shifting dynamics of the liberal world order as it was established at the end of the Second World War and how the EU is responding to these changes. (shrink)

The Sanskrit term dāya is generally understood as inheritance. This study examines an influential inheritance treatise from medieval Bengal, the Dāyabhāga, to explore how dāya conceptually overlaps with gifts, even though in inheritance, the deceased does not physically hand over the inheritance to the heir, a situation which appears remarkably distinct from gift-giving. Recent Euro-American research has explored the overlap between gift and inheritance considering primarily testate situations. However, attention has not been paid to this overlap by Indological scholarship, though (...) abundant work on Hindu inheritance exist. Apart from certain debates regarding etymology of dāya, there has not been much scholarly reflection on the conceptual understanding of dāya, perhaps due to the practical application of Hindu law during its times. This article, through a close textual study of the Dāyabhāga, attempts to fill in a small gap by demonstrating a conceptual overlap between inheritance and gifts, not just in testate, but in intestate situations as well. The study suggests that dāya is, in essence, gift-like, even though there are distinctions between gifts and inheritance. (shrink)